proving of concurrent program
un. 并行程序證明
熱門查詢
- despicable adj. 卑劣的；可鄙的
- collide vi. 碰撞；抵觸，沖突 vt. 使碰撞；使相撞
- glutathione n. [生化] 谷胱甘肽
- acclimatization n. 適應環境；[動][進化] 馴化；服水土；[氣候] 氣候適應
- calzone n. 半圓形烤乳酪餡餅 n. (Calzone)人名；(意)卡爾佐內
- collegium n. 執行管理委員會
- wagging adj. 搖動的，擺動的 v. 搖擺；饒舌；蹣跚而行（wag的ing形式）
- trim n. 修剪；整齊；情形 vt. 修剪；整理；裝點 adj. 整齊的 vi. 削減 n. (Trim)人名；(意)特里姆
- bestowal n. 贈與；給與
- rota n. 值班名冊；輪值表 n. (Rota)人名；(英、法、意、葡、捷、土)羅塔
- backscattered 反(背)向散射的
- colonizing vt. 將…開拓為殖民地；移于殖民地；從他地非法把選民移入 vi. 開拓殖民地；移居于殖民地
- cancer [天] 巨蟹座
- sleeve n. [機] 套筒，[機] 套管；袖子，[服裝] 袖套 vt. 給……裝袖子；給……裝套筒
- Worthing n. 沃辛（地名）
- tomographic adj. 層析成象的
- Hobsbawm [人名] 霍布斯鮑姆
- stoke vt. 撥旺火；使飽吃一頓 vi. 燒火；做司爐工；大吃大喝 n. (Stoke)人名；(英)斯托克
- raked adj. 傾斜的
- Lyall [人名] [蘇格蘭人姓氏] 萊爾 Lyal的變體
考試詞匯表
- base air defence environment
- base band local area network
- base catalysed rearrangement
- base catalyzed rearrangement
- base course of cement mortar
- base displacement addressing
- base eight notational system
- base emitter cut off current
- base extension triangulation
- base line of territorial sea
- base line pressure resonance
- base of exponential function
- base of logarithmic function
- base of neighbourhood system
- base of the terminal leaflet
- base point coordinate system
- base-catalysed rearrangement
- base-conductivity modulation
- baseband twisted pair system
- baseband twisted-pair system
